Kahl, Wolfram : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (72)
Les plus populaires
Liste
- Liste
- Tableau

1

High efficiency, on-chip single-photon detection for diamond nanophotonic circuits

Kahl, Oliver, Pernice, Wolfram, Kahl, Oliver, Ferrari, Simone, Rath, Patrik, Vetter, Andreas, Nebel, Christoph

Journal:

Journal of Lightwave Technology

Année:

2015

Langue:

english

Fichier:

PDF, 845 KB

english, 2015

2

Relational and algebraic methods in computer science

Kahl, Wolfram, Griffin, Timothy G., Höfner, Peter

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2015

Langue:

english

Fichier:

PDF, 151 KB

english, 2015

3

Inequational Deduction as Term Graph Rewriting

Andrea Corradini, Fabio Gadducci, Wolfram Kahl, Barbara König

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2007

Langue:

english

Fichier:

PDF, 342 KB

english, 2007

4

Relational matching for graphical calculi of relations

Journal:

Information Sciences

Année:

1999

Langue:

english

Fichier:

PDF, 274 KB

english, 1999

5

Preface: Volume 44, Issue 3

Wolfram Kahl, David L. Parnas, Gunther Schmidt

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 55 KB

english, 2003

6

Towards “mouldable code” via nested code graph transformation

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2014

Langue:

english

Fichier:

PDF, 401 KB

english, 2014

7

Explicit graphs and computer-aided notation

Journal:

Année:

1999

Langue:

english

Fichier:

PDF, 1.27 MB

english, 1999

8

Relational and algebraic methods in computer science

Höfner, Peter, Jipsen, Peter, Kahl, Wolfram, Müller, Martin Eric

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2016

Langue:

english

Fichier:

PDF, 197 KB

english, 2016

9

The weepy nerve—different sensitivity of left and right recurrent laryngeal nerves under tensile stress in a porcine model

Lamadé, Wolfram, Béchu, Maren, Lauzana, Ester, Köhler, Peter, Klein, Sabine, Tuncer, Tuncay, Rashid, Noor Isra Heryantee, Kahle, Erich, Erdmann, Bertram, Meyding-Lamadé, Uta

Journal:

Langenbeck's Archives of Surgery

Année:

2016

Langue:

english

Fichier:

PDF, 1.04 MB

english, 2016

10

Cavity enhanced and ultrafast superconducting single-photon detectors

Vetter, Andreas, Ferrari, Simone, Rath, Patrik, Alaee, Rasoul, Kahl, Oliver, Kovalyuk, Vadim, Diewald, Silvia, Goltsman, Gregory N., Korneev, Alexander, Rockstuhl, Carsten, Pernice, Wolfram HP

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 1.12 MB

english, 2016

11

Hot-spot relaxation time current dependence in niobium nitride waveguide-integrated superconducting nanowire single-photon detectors

Ferrari, Simone, Kovalyuk, Vadim, Hartmann, Wladislaw, Vetter, Andreas, Kahl, Oliver, Lee, Changhyoup, Korneev, Alexander, Rockstuhl, Carsten, Gol’tsman, Gregory, Pernice, Wolfram

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 3.42 MB

english, 2017

12

Spectrally multiplexed single-photon detection with hybrid superconducting nanophotonic circuits

Kahl, Oliver, Ferrari, Simone, Kovalyuk, Vadim, Vetter, Andreas, Lewes-Malandrakis, Georgia, Nebel, Christoph, Korneev, Alexander, Goltsman, Gregory, Pernice, Wolfram

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2017

13

Calculational relation-algebraic proofs in the teaching tool

Journal:

Journal of Logical and Algebraic Methods in Programming

Année:

2020

Fichier:

PDF, 1.90 MB

2020

14

Parallel composition and decomposition of specifications

Journal:

Information Sciences

Année:

2001

Langue:

english

Fichier:

PDF, 181 KB

english, 2001

15

Refinement and Development of Programs from Relational Specifications

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2003

Langue:

english

Fichier:

PDF, 357 KB

english, 2003

16

Relational Methods in Computer Science Volume 185 ||

Brink, Chris, Kahl, Wolfram, Schmidt, Gunther

Année:

1997

Langue:

english

Fichier:

PDF, 1.80 MB

english, 1997

17

Relational Methods in Computer Science Volume 71 || Linear Logic

Brink, Chris, Kahl, Wolfram, Schmidt, Gunther

Année:

1997

Langue:

english

Fichier:

PDF, 868 KB

english, 1997

18

Relational Methods in Computer Science Volume 185 || Fork Algebras

Brink, Chris, Kahl, Wolfram, Schmidt, Gunther

Année:

1997

Langue:

english

Fichier:

PDF, 1.68 MB

english, 1997

19

Relational Methods in Computer Science Volume 314 || Algorithms from Relational Specifications

Brink, Chris, Kahl, Wolfram, Schmidt, Gunther

Année:

1997

Langue:

english

Fichier:

PDF, 1.83 MB

english, 1997

20

Relational Methods in Computer Science Volume 314 || Refinement and Demonic Semantics

Brink, Chris, Kahl, Wolfram, Schmidt, Gunther

Année:

1997

Langue:

english

Fichier:

PDF, 1.74 MB

english, 1997

21

Relational Methods in Computer Science Volume 314 || Logic, Language, and Information

Brink, Chris, Kahl, Wolfram, Schmidt, Gunther

Année:

1997

Langue:

english

Fichier:

PDF, 1.92 MB

english, 1997

22

Relational semigroupoids: Abstract relation-algebraic interfaces for finite relations between infinite types

Journal:

The Journal of Logic and Algebraic Programming

Année:

2008

Langue:

english

Fichier:

PDF, 634 KB

english, 2008

23

Determinisation of relational substitutions in ordered categories with domain

Journal:

The Journal of Logic and Algebraic Programming

Année:

2010

Langue:

english

Fichier:

PDF, 356 KB

english, 2010

24

Collagories: Relation-algebraic reasoning for gluing constructions

Journal:

The Journal of Logic and Algebraic Programming

Année:

2011

Langue:

english

Fichier:

PDF, 680 KB

english, 2011

25

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 ||

Kahl, Wolfram, Griffin, Timothy G.

Année:

2012

Langue:

english

Fichier:

PDF, 201 KB

english, 2012

26

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Towards Certifiable Implementation of Graph Transformation via Relation Categories

Kahl, Wolfram, Griffin, Timothy G.

Année:

2012

Langue:

english

Fichier:

PDF, 295 KB

english, 2012

27

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Relation Algebras, Matrices, and Multi-valued Decision Diagrams

Kahl, Wolfram, Griffin, Timothy G.

Année:

2012

Langue:

english

Fichier:

PDF, 259 KB

english, 2012

28

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Continuous Relations and Richardson’s Theorem

Kahl, Wolfram, Griffin, Timothy G.

Année:

2012

Langue:

english

Fichier:

PDF, 234 KB

english, 2012

29

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Extension Properties of Boolean Contact Algebras

Kahl, Wolfram, Griffin, Timothy G.

Année:

2012

Langue:

english

Fichier:

PDF, 278 KB

english, 2012

30

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings

Kahl, Wolfram, Griffin, Timothy G.

Année:

2012

Langue:

english

Fichier:

PDF, 262 KB

english, 2012

31

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures

Kahl, Wolfram, Griffin, Timothy G.

Année:

2012

Langue:

english

Fichier:

PDF, 263 KB

english, 2012

32

503 EUS-Guided Lymph Node Ablation With Novel Radiofrequency Ablation Probe: A Feasibility Study

Amrita Sethi, Mark Ellrichmann, Shantiswaroop Dhar, Klaus-G.E.R.D. Hadeler, Erich Kahle, Frauke Seehusen, Wolfram Klapper, Nagy Habib, Annette Fritscher-Ravens

Journal:

Gastrointestinal Endoscopy

Année:

2012

Langue:

english

Fichier:

PDF, 72 KB

english, 2012

33

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Metabolic Profiling of Plants by GC-MS

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 1.64 MB

english, 2013

34

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || MALDI Mass Spectrometric Imaging of Plants

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 1.05 MB

english, 2013

35

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Isotopologue Profiling - Toward a Better Understanding of Metabolic Pathways

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 1.36 MB

english, 2013

36

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Nuclear Magnetic Resonance Spectroscopy for Plant Metabolite Profiling

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 350 KB

english, 2013

37

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Comprehensive Two-Dimensional Gas Chromatography for Metabolomics

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 578 KB

english, 2013

38

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Multi-Gene Transformation for Pathway Engineering of Secondary Metabolites

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 688 KB

english, 2013

39

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Introduction to Lipid (FAME) Analysis in Algae Using Gas Chromatography-Mass Spectrometry

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 346 KB

english, 2013

40

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Liquid Chromatographic-Mass Spectrometric Analysis of Flavonoids

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 234 KB

english, 2013

41

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Metabolite Identification and Computational Mass Spectrometry

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 1.48 MB

english, 2013

42

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Mass Spectral Search and Analysis Using the Golm Metabolome Database

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 1.87 MB

english, 2013

43

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Conducting Genome-Wide Association Mapping of Metabolites

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 256 KB

english, 2013

44

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Using COVAIN to Analyze Metabolomics Data

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 1.51 MB

english, 2013

45

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Metabolite Clustering and Visualization of Mass Spectrometry Data Using One-Dimensional Self-Organizing Maps

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 705 KB

english, 2013

46

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Medicago Truncatula Root and Shoot Metabolomics: Protocol for the Investigation of the Primary Carbon and Nitrogen Metabolism Based on GC-MS

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 613 KB

english, 2013

47

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Study of the Volatile Metabolome in Plant-Insect Interactions

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 432 KB

english, 2013

48

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Metabolomics in Herbal Medicine Research

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 145 KB

english, 2013

49

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Front Matter

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 202 KB

english, 2013

50

The Handbook of Plant Metabolomics (KAHL:PLANT METABOLOMICS O-BK) || Integrative Analysis of Secondary Metabolism and Transcript Regulation in Arabidopsis Thaliana

Weckwerth, Wolfram, Kahl, Günter

Année:

2013

Langue:

english

Fichier:

PDF, 1.86 MB

english, 2013